aMarked_a__fgMarked_markfmarka__fXa__f(f(a))a__f(g(f(a)))mark(f(X))a__f(mark(X))mark(a)amark(g(X))g(X)a__f(X)f(X)a__f(f(a))a__f(g(f(a)))mark(f(X))a__f(mark(X))mark(a)amark(g(X))g(X)a__f(X)f(X)Marked_a__f(f(a))Marked_a__f(g(f(a)))Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)a__f(f(a))a__f(g(f(a)))mark(f(X))a__f(mark(X))mark(a)amark(g(X))g(X)a__f(X)f(X)Marked_mark(f(X))Marked_mark(X)a__f230mark20f230Marked_mark30g0a0