Rewrite rules do not have to be confluent and terminating so it does matter a great deal what rules are chosen to rewrite the term.
Οι κανόνες επαναγραφής δε χρειάζεται να συμβάλλουν και να τερματίζουν, επομένως είναι σημαντικό ποιοι κανόνες επιλέγονται για να επαναγραφεί ένας όρος.