Monotonicity is addressed in section 6.2, but it's optional.