Add monotonicity example