(U1.LS.5) Conditional Statements and Equivalence