inc_monotonic: true, dec_monotonic: true