- Before building, ask what defines success first (Deductive Prompting).
- Use examples to implicitly guide the oracle without explanations (Inductive Prompting).
- Force the oracle to explain principles from examples for auditability (Abductive Prompting).
- Define goodness by listing all possible failures and avoiding them (Contrapositive Prompting).
- Create a precise language for your problem class before solving it (DSL Scaffolding).
- Separate thinking from building to avoid confusion like 'fish dams'.
- Combine and sequence these techniques depending on the situation.