Use Concrete Examples
Abstract claims become useful when a specific case forces a precise before and after.
Test
The question
Which example would make the rule unambiguous?
Do this
- Start with one normal case, then one boundary or repeat case.
- Write the expected result before implementing it.
- Turn surprising examples into named rules and tests.
Example
- Empty basket + add Laptop → Laptop × 1. Laptop × 1 + add Laptop → Laptop × 2, not two rows. The second example reveals the uniqueness rule.
Ask next
- ?What is the normal case?
- ?Which repeat or boundary case changes the design?
- ?What rule did the example reveal?