In the non-propositional case, the completion needs to be augmented with equality axioms, to formalise the assumption that individuals with distinct names are distinct.
Many delegates balked, especially at the assumption that they could push through a sudden constitutional change in a party often dearly concerned with internal process.