Preserve the meaning of "iff"