Cardinality_equals_variety loading ...