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