Paul K.'s work for exercise 3.1.3