Maude

• enforced
• postulate
• spire
• extractors
• differentiates
• spender