Observation. Groupoid Cardinality is compatible with set cardinality [00EX]