added monotonicity operators