should this not be a `<=` to enforce strict monotonicity?