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

biconditional statement.