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.
