| | pa[k-1],B w,C _.-' \ __..-' `_ x,A w,C B D => / \ `_ _.-' \ / \ a b D x,A [C] d e / \ / \ d e a b