Work on misc. examples of 7.8.2