(Probably) follows §C.3.c.