Increasingness by Random Descent


We show classical results by Nederpelt / Klop on inductive / increasing rewrite systems factor through random descent, trivialising the former and illustrating the power of the latter.