formalisation

• Sat
• dispatchers
• recombines
• machinery
• impermanent
• raga