6
The syntax of Maude identifiers is discussed in Section
3.1
.