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