The total state measure of a single state with contact `c` is `q^(-c)`, where `q` is the residue cardinality.

Initializing...

The total state measure of a single state with contact `c` is `q^(-c)`, where `q` is the residue cardinality. · Prove2Me