We really did me iff

After 32b0546e change if back to iff (if and only if)
as we did actually mean that.