IV.D193 — Earned vs.\ unearned mode count

An earned mode count N_n = dim(H_partial[n]|_{T^2}) < infinity is the number of independent boundary characters on T^2 at stage n; an unearned mode count is any infinite cardinal assigned to continuum degrees of freedom without profinite justification.