i don't think the `iff` needed to be changed here.  This is scientific notation for `if-and-only-if`