1: \begin{abstract}

2:   Given a uniformly convergent sequence of ambient isotopies $\pn{\ms

3:     H_n}_{n\in\NN}$, bijectivity of the limit function $\ms H_\infty$

4:   together with a minor compactness condition guarantees that $\ms

5:   H_\infty$ is also an ambient isotopy. By offloading the uniform

6:   convergence hypothesis to a more diagrammatic condition, we obtain

7:   sufficient conditions for performing countably-many Reidemeister

8:   moves. We use this to construct examples of tame knots with

9:   countably-many crossings and discuss what distinguishes these from

10:   similar-looking wild curves.

11: \end{abstract}

12: