theory/THEOREM_AUDIT.md