edgMarked_ffhacMarked_gbyxf(a)bf(c)df(g(x,y))g(f(x),f(y))f(h(x,y))g(h(y,f(x)),h(x,f(y)))g(x,x)h(e,x)f(a)bf(c)df(g(x,y))g(f(x),f(y))f(h(x,y))g(h(y,f(x)),h(x,f(y)))g(x,x)h(e,x)Marked_f(g(x,y))Marked_g(f(x),f(y))Marked_f(g(x,y))Marked_f(x)Marked_f(g(x,y))Marked_f(y)Marked_f(h(x,y))Marked_g(h(y,f(x)),h(x,f(y)))Marked_f(h(x,y))Marked_f(x)Marked_f(h(x,y))Marked_f(y)f(a)bf(c)df(g(x,y))g(f(x),f(y))f(h(x,y))g(h(y,f(x)),h(x,f(y)))g(x,x)h(e,x)Marked_f(g(x,y))Marked_f(x)Marked_f(g(x,y))Marked_f(y)Marked_f(h(x,y))Marked_f(x)Marked_f(h(x,y))Marked_f(y)bhfgdebfdfgfhfhgefeg