Scientific note
A note on complete gauge-fixing and the constraint algebra
The admissibility of a gauge-fixing is governed by the invertibility of Delta =\ sigma a, gamma b\ where sigma a are gauge-fixing conditions and gamma b are independent first-class constraints.