 Theorem 10 (Durand, Fagin, &amp; Loescher 1998; Shelah 2004) Suppose the vocabulary has just one unary function. Then a set of natural numbers is the spectrum of a monadic second-order sentence if and only if it is the spectrum of a first order sentence if and only if it is eventually periodic.