theory_auditor
