MonotonicAsserter