If a conditional and its converse are always true, then the statement is a
-converse
-conditional
-biconditional
-counterexample
-converse
-conditional
-biconditional
-counterexample