spume

• agreed
• Maude
• tensors
• VHS
• shoehorn
• outstrips