A one rule term rewrite system (TRS) which is UN but not UN->.

Another puzzle in term rewriting.