Consider adding a table of contents

[MarcinCiura]

...even if Byrne's book does not have it. Two versions come to my mind:

1. List just the Introduction and the Books.
2. Also list the subsections of the Introduction and the individual propositions.
   The choice between 1) and 2) might be controlled by setting some macro.