untilIsConsistentWithPlus
DateTimeLaws
untilSelfIsAlwaysZero
DateTimeLaws