This is a preliminary version of our book. It goes up to the definition of
dimension, which is about 30% of the material we plan to include.
If you use it as a reference, do not forget to include the version number
since the numbering will be changed.