com.twitter.algebird
The law is:
next(t).map(ordering.lt(t, _)).getOrElse(true)
(Since version 0.13.0) use ordering instead