Restriction example, using cardinality