Keywords – the nilpotent computational rewrite system