Throughout the paper I attempt to explain the reasoning behind the logical steps of the Dirac–Bergmann algorithm, but avoid general proofs. The reader is referred to references [1]}, [2]}, [3]}, [4]}, [5]} for more details.
