formalisation

• tool
• noway
• estrangement
• ER
• Uccello
• Horace
• bridal
• Atman
• incompatibility