Yeah, well I totally agree on that end. Proofs are almost never practical for anyone.

Number theory is also a huge bore