when a conditional and its converse are ture, you can combine them as a true

biconditional statement.