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