See CardinalityEnforcedInCode