S4 Monotonicity