Formal Logic and Assumption Questions