Using logic to test a claim: Conditional statement, advanced