Higher derivative theories with constraints : Exorcising Ostrogradski's Ghost
We prove that the linear instability in a non-degenerate higher derivative theory, the Ostrogradski instability, can only be removed by the addition of constraints if the original theory's phase space is reduced.