documented other definitions