Follows §C.3.a.