When Maude "executes", it rewrites terms according to our specifications.
Όταν το Maude "εκτελεί", επαναγράφει τους όρους σύμφωνα με τις προδιαγραφές.