(Probably) follows §C.3.k.