1: \begin{definition}

2: Given $g \in G$, we use a superscript 1 to indicate that $g$ belongs to a round-set for the first time, and a superscript 2 to indicate that it belongs to a round-set for the second time, i.e.\[

3: g^1 \in R_j

4: \]means that 

5: \[

6: g \in R_j \;\;\; {\it and} \;\;\;g \notin R_i \;\;\; \hbox{{\it for all i with}} \;\; 0 \leq i < j.

7: \]and

8: \[

9: g^2 \in R_j

10: \]means that 

11: \[

12: g \in R_j \;\;\; {\it and} \;\;\;g \in R_i \;\;\; \hbox{{\it for some (unique by Theorem~\ref{th: twodistinct}) i with}} \;\; 0 \leq i < j.

13: \]

14: \end{definition}

15: