moved monotonicity onto one line