[1retep]

This is such a good point. After 3 years of writing and reading (mostly) math proofs, I wrote everything in proof-like fashion.