| pa[k-2],x | y ___...---' \ pa[k-1],y d _.-' `_ => q x _.-' \ q c / \ / \ a b c d / \ a b