I don't know what it really means for a proof to be invoked, and I also don't really like the idea of separating proofs into concrete and abstract proofs. Eithe

I don't know what it really means for a proof to be invoked, and I also don't really like the idea of separating proofs into concrete and abstract proofs. Either it proves something or it doesn't.