is not also less than

. If

is earlier in time than

,

is not also earlier than