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