finite monotonicity