Pages 1139-1164

plus definitions and random type corrections