Additional simplifications from page 108.