]{}; (s000) at (0,-0) [$0^*$]{};  (s0000) at (0,-0) [0]{}; (s0000) at (0,-0) [$0^\Box$]{}; (s0000) at (0,-0) [0]{}; (s0000) at (0,-0) [$0^\Box$]{}; (s0000) at (0,-0) [0]{};  (s00000) at (0,-0) [0]{}; (s00000) at (0,-0) [$0^\Box$]{}; (s00000) at (0,-0) [0]{}; (s00000) at (0,-0) [$0^\Box$]{}; (s00000) at (0,-0) [0]{}; (s00000) at (0,-0) [0]{};  (p0) to (empty); (p0) to\[out=000, in=-000\] (empty); (p0b) to\[out=000, in=-000\] (p0); (p0) to (p0); (p0) to (p0); (p0) to (p0); (p0b) to (p0); (p0) to (p0b); (p0) to (p0); (p0) to (p0); (p0) to (p0); (p0) to (p0); (s000) to (p0b); (s000) to (p0b); (s000) to (p0); (s000) to (s000); (s000) to (p0); (s000) to (p0); (s000) to (s000); (s000) to (p0); (s000) to (s000); (s0000) to (s000); (s0000) to (s000); (s0000) to (s000); (s0000) to (s0000); (s0000) to (s000); (s0000) to (s000); (s0000) to (s0000); (s0000) to (s000); (s0000) to (s000); (s0000) to (s0000); (s0000) to (s000); (s0000) to (s0000); (s00000) to (s0000); (s00000) to (s0000); (s00000) to (s0000); (s00000) to (s00000); (s00000) to (s0000); (s00000) to (s0000); (s00000) to (s00000); (s00000) to (s0000); (s00000) to (s0000); (s00000) to (s00000); (s00000) to (s0000); (s00000) to (s0000); (s00000) to (s00000); (s00000) to (s0000); (s00000) to (s00000);  (0,-0) node [$0$]{}; (0,-0) node [$0^\Box$]{}; (0,-0) node [$0$]{}; (0,-0) node [$0^\Box$]{}; (0,-0) node [$0$]{}; (0,-0) node [$0$]{}; (0,-0) node [...]{}; (0,-0) node [$0$]{};  (0,-0) node [$0$]{}; (0,-0) node [$0^\Box$]{}; (0,-0) node [$0$]{}; (0,-0) node [$0^\Box$]{}; (0,-0) node [$0$]{}; (0,-0) node [$0$]{}; (0,-0) node [...]{}; (0,-0) node [$0$]{}; (0,-0) node [$0$]{};  (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0);  (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0); (0.0,-0) - (0.0,-0);  (0,-0.0) - (0,-0.0); (0,-0.0) - (0,-0.0); (0,-0.0) - (0,-0.0); (0,-0.0) - (0,-0.0); (0,-0.0) - (0,-0.0); (0,-0.0) - (0,-0.0); (0,-0.0) - (0,-0.0);  (0.0,-0.0) - (0.0,-0.0); (0.0,-0.0) - (0.0,-0.0); (0.0,-0.0) - (0.0,-0.0); (0.0,-0.0) - (0.0,-0.0); (0.0,-0.0) - (0.0,-0.0); (0.0,-0.0) - (0.0,-0.0);  \[thm:equiv0\] The equivalence classes for $\sim_0$ are exactly the sets $\mathcal C_0$, $\mathcal C_0$, ${\mathcal C_0^*}$, $\mathcal C_0$, ${\mathcal C_0^*}$, ${\mathcal C_0^{\Box}}$, $\mathcal C_0$ 