nostr:npub1ecj3mfr9lzvx7wh6fmh59vz6eet324mdtdlp9qxzqvwuvpglwnxqv6fchy For the pedagogical point, I think most proofs should be presented like this:

1. Here's the conceptual idea.

2. Here's the plan for translating the idea into symbols.

3. Here's roughly how long the symbolic proof turns out to be.

Any proof which you cannot present in this way is one which you don't understand well enough to teach (or the field doesn't understand it and should think more about it).