removing specialized code for monotonicity (can be axiomatized)