Very fun, but I've never seen proofs in this format. I would expect to see the "prerequisites" on the top of the line and the "thing that follows" below. e.g.

https://screenshots.firefox.com/uhqTk89wKMgvig3n/books.googl...