⁴Notice that a structured sort name, such as List{Nat} for example, cannot be used as a view name, because it is not a single identifier; if desired, the user can write the single-identifier form List‘{Nat‘} as view name. The convention is totally general in Full Maude; see Section 15.3.2.