Auditing Theory