Over 1/3 of the class apparently did not understand what iff means, and
consequently proved only one direction in each of the problems.  They
need to prove both directions; otherwise they will keep getting a maximum
of 50/100.