Turing

• tableaux
• adapt
• runner
• sealants
• qualifiers