Make docs more clear.

iff = if and only if.