Emery

• Enoch
• expos
• separate
• counterexamples
• bethink