formalisation

• Mike
• envisioned
• length
• Marceau
• scorch