Working on pushout-product

In the middle of adding some much needed context and background to the
beginning of Ch. 10.