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