"iff" is the abbreviation for "if and only if"