[elzr]

Have you read Mortimer J Adler's How to Read a Book? I just finished it a month ago and your mention of terms, propositions and arguments seems straight out of the book's theory of reading :)

Thanks for your review by the way, it motivated me to reread Euclid.