1: \begin{definition} Suppose we have sequential time series snapshots $\bm{x}_1, \ldots, \bm{x}_{T+1}$ and that $\bm{A}$ has $r$ distinct nonzero eigenvalues. Using Theorem \ref{theorem:uniqueness}, we define $\bm{A}$ to be \textbf{well-posed} if the nonzero eigenvalues of $\bm{A}$ satisfing \eqref{eq:exact_recursive} are unique. 

2: %\end{definition}

3: