test the statement to see if it is reversible. if so, write as a true biconditional. if not write reversible