 The next three logical axiom schemes provide ways to add, manipulate, and remove universal quantifiers.These three additional rules extend the propositional system to axiomatise classical predicate logic.Likewise, these three rules extend system for intuitionstic propositional logic (with P1-3 and P4i and P5i) to intuitionistic predicate logic.