Marked_markamarkfMarked_a__fga__fcXa__f(f(a))c(f(g(f(a))))mark(f(X))a__f(mark(X))mark(a)amark(c(X))c(X)mark(g(X))g(mark(X))a__f(X)f(X)a__f(f(a))c(f(g(f(a))))mark(f(X))a__f(mark(X))mark(a)amark(c(X))c(X)mark(g(X))g(mark(X))a__f(X)f(X)Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(g(X))Marked_mark(X)a__f(f(a))c(f(g(f(a))))mark(f(X))a__f(mark(X))mark(a)amark(c(X))c(X)mark(g(X))g(mark(X))a__f(X)f(X)Marked_mark(f(X))Marked_mark(X)Marked_mark(g(X))Marked_mark(X)Marked_mark1Marked_mark(g(X))Marked_mark(X)Marked_mark(f(X))Marked_mark(X)a__f(f(a))c(f(g(f(a))))mark(f(X))a__f(mark(X))mark(a)amark(c(X))c(X)mark(g(X))g(mark(X))a__f(X)f(X)