timeFieldsAreConsistentWithToLocalTime

DateTimeLaws

timeMustNotThrow

DateTimeLaws

twoConsequentNowCalls

LocalDateTimeLaws