Follows §C.3.l.