ポアソン括弧
We keep turning the crank, demanding this new constraint have vanishing Poisson bracket