A combination of a conditional statement and its converse written in the “if and only if” form. Both the conditional and the converse must be true before writing this statement .