module TraceCardinality