Went to Federal to do our AS assignement after MA..," he will win if he calls check, if not , then, ... oh I am so analytical.. "if p then q, not p then not q.... if and only if..."