book solar commentaries a collection of footnotes and comments on logic