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).