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