9.1.9, pet peeve

[michaeladamkatz]

"If I wanted to write this result up for a paper or something,"

This makes it sound like it might be some random whim to want to write up the result. But of course virtually everyone who is reading this book is doing it precisely because they will need to be writing up such results. (It's as if in book on learning to drive you said, "if you actually wanted to go somewhere or something.") If you want to acknowledge that there might be other reasons to write up the result aside from a paper, you could say "for a paper or other report". But really just dropping "or something" would be best.