abbreviation

• Iblis
• extensional
• Roy
• untangle
• matchstick