Axiom of Echoes: Proof Refactor · POG