Figure out §C.3.k first.