What is a suitable identifier of rules, along with equations?