This uses the new be_sorted DSL methods, which do the same thing, but
are a little more descriptive and robust to changes.