ornamenting

• computations
• dared
• hogging
• felling
• counterexamples