WHOOPS!
	(2) v > x OR v > y if and only if v > max(x,y), so
	
sould read

	    v > x OR v > y if and only if v > min(x,y), so

replace max: and \/ by min: and /\ in the rest of that message.

This is rather a strange test in the first place.  There has to be
a more problem-oriented way to express it.