Ghost-free higher-derivative theory

We present an example of the quantum system with higher derivatives in the Lagrangian, which is ghost-free: the spectrum of the Hamiltonian is bounded from below and unitarity is preserved.