TRS: {f(X) -> g()} POP*: Quasi-Precedence: f > g empty Normal: pi(f) = [1] Safe: Predicative System: {f(X;) -> g()} Qed