Lyons argued that Hart???s briefly sketched examples of procedural justice ??? treating like cases alike, following a rule, impartiality ??? were empty in the absence of substantive criteria of justice; he went on to argue, contra Hart, that the justice of rule-following was no such thing and that rule-infractions were no more ???unjust??? than infractions of the rules of grammar.