2.36/2.45	MAYBE
2.36/2.45	proof: 
2.36/2.46	  There are some non-trivial conditions.
2.36/2.49	EOF