some A time after comes sooner than any A time; that is, iff either there is a next moment, and A holds then, or there is no next moment, and A holds throughout some interval beginning immediately and extending into the future.