cardinality constraints are working