Shows a simple cyclic abstract rewrite system that is locally confluent, but not globally confluent. (By Newman's lemma, it is necessarily non-terminating.)