# SamEisenstat comments on A Loophole for Self-Applicative Soundness

• I misunderstood your proposal, but you don’t need to do this work to get what you want. You can just take each sentence as an axiom, but declare that this axiom takes symbols to invoke. This could be done by changing the notion of length of a proof, or by taking axioms and with very long.