countable monotonicity