boilerplate monotonicity helpers