Reasoning w/FBD's