In general, given two statement A and B, the statement "A if and only if B" is true precisely when both A and B are true or both A and B are false. In which case, A can be thought of as the logical substitute of B (and vice versa).