Property-based tests need a precise rule

A property-based test checks a rule across generated inputs, rather than only a few hand-picked examples. State the invariant clearly and keep concrete boundary cases too; generated cases complement examples that document expected behavior.