Some fanciful properties for clock

Am I missing something or this could be avoided since the previous property also covers this case (`?IMPLIES(H1 =< H2,`)? 
Ok, this seems more strict and if it make sense what about `clock:hms2s({H,M,S}) =:= clock:hms2s({H+1,0,S}) - (60 * 60)`?