Examples through 1.2.2