Restructure monotonicity example. In fact monotonicity isn't really the correct term, so just talk about reversal of entailment.