YES Problem: f(f(x)) -> g(f(x)) Proof: DP Processor: DPs: TRS: f(f(x)) -> g(f(x)) Qed