In the rm.support.identification package, some classeshave functions with cardinality markers. Probably the invariantsneed to be altered as well.