5That is, internal to Maude’s logic, in the sense of being definable by logical axioms.