³In Full Maude (see Chapter 21), maps for all sorts in the source theory have to be explicitly given, even when they are identity maps.