Marked_fgaff(f(a))f(g)f(f(a))f(g)Marked_f(f(a))Marked_f(g)