An ${\mathrm{N}\mathrm{S}\mathrm{O}\mathrm{P}}_1$ theory without the existence axiom

Answering a question of Dobrowolski, Kim and Ramsey, we find an ${\mathrm{N}\mathrm{S}\mathrm{O}\mathrm{P}}_1$ theory that does not satisfy the existence axiom.