formalisation

• accumulate
• omnipotence
• realise
• Turing
• inmate