trying monotonicity