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