Proof Reality’s a Program — Start Rewriting It