w[w[w,2[A],>[B]]]