1: \begin{definition} \label{tagging-defn}

2: The {\em cyclic support\/} of a function $g:E^0\to \mathbb{C}$ is defined to \crytserb{be} the set

3: $$\text{supp}^cg=\{v\in E^0\,:\text{ $v\in E^0$ cyclic, $g(v)\neq 0$}\}.$$

4: (Recall that a cyclic vertex $v$ is one visited by a simple entry-less cycle. Equivalently,

5: $v$ is a \crytserb{ray of length zero}.) 

6: A \emph{cyclically tagged graph trace} consists of a pair $(g,\mu)$, where $g$ is a graph trace and

7: a map 

8: $\mu:\text{supp}^cg\ni v \longmapsto \mu_v\in

9: \operatorname{Prob}(\mathbb{T})$ -- hereafter referred to as the {\em tag\/}.

10: Note that our definition includes the possibility of an {\em empty\/} tag in the case 

11: when $\text{supp}^cg=\varnothing$. 

12: (More on this in Theorem~\ref{auto-gauge} below.)

13: The space of all such pairs will be denoted by $T^{\text{\sc ct}}(E)$.

14: The adjective ``finite,'' ``infinite,'' or ``normalized,'' is attached to $(g,\mu)$ precisely when it applies to $g$. %In particular, the space of normalized cyclically tagged graph traces on $E$ is denoted by $T_1^{\text{\sc ct}}(E)$.

15: \end{definition}

16: