Generality in formal systems requires not just additional entailments but greater explanatory scope ...