# Techniques & insights

Test a universal claim at a boundary value. A single witness disproves it; distinguish the false assertion from the true counterexample claim.