Marked_ffMarked_g0Marked_minussgminusyxminus(x,0)xminus(s(x),s(y))minus(x,y)f(0)s(0)f(s(x))minus(s(x),g(f(x)))g(0)0g(s(x))minus(s(x),f(g(x)))minus(x,0)xminus(s(x),s(y))minus(x,y)f(0)s(0)f(s(x))minus(s(x),g(f(x)))g(0)0g(s(x))minus(s(x),f(g(x)))Marked_minus(s(x),s(y))Marked_minus(x,y)Marked_f(s(x))Marked_minus(s(x),g(f(x)))Marked_f(s(x))Marked_g(f(x))Marked_f(s(x))Marked_f(x)Marked_g(s(x))Marked_minus(s(x),f(g(x)))Marked_g(s(x))Marked_f(g(x))Marked_g(s(x))Marked_g(x)minus(x,0)xminus(s(x),s(y))minus(x,y)f(0)s(0)f(s(x))minus(s(x),g(f(x)))g(0)0g(s(x))minus(s(x),f(g(x)))Marked_f(s(x))Marked_g(f(x))Marked_f(s(x))Marked_f(x)Marked_g(s(x))Marked_f(g(x))Marked_g(s(x))Marked_g(x)minus10g10s33000Marked_g310f330Marked_f30minus(x,0)xminus(s(x),s(y))minus(x,y)f(0)s(0)f(s(x))minus(s(x),g(f(x)))g(0)0g(s(x))minus(s(x),f(g(x)))Marked_minus(s(x),s(y))Marked_minus(x,y)Marked_minus1Marked_minus(s(x),s(y))Marked_minus(x,y)minus(x,0)xminus(s(x),s(y))minus(x,y)f(0)s(0)f(s(x))minus(s(x),g(f(x)))g(0)0g(s(x))minus(s(x),f(g(x)))