w[=G[0[A],>>[B]]]