Recognizing Audit Equations