[ytygg775]

> Yes, proofs are a powerful part of mathematics, but they aren't at all the only goal.

Ultimately, they are.