Add a requires clause to the Consistency axiomL requires HasLessEquals && HasGreaterEquals, or split the Consistency axiom into two so that ‘basic’ consistency can be asserted regardless of the <=/>= requirement.