Poisson bracket
We keep turning the crank, demanding this new constraint have vanishing Poisson bracket