x" 被加以量词之后，或在陈述开始处如果 "x" 是自由的)立即就对 "y" 加全称量词, 并用 "P"("x","y") 前卫这个量化。最后，使整个陈述是上述泛函谓词的唯一性条件的实质推论。让我们采用在 Zermelo-Fraenkel 集合论中替代公理的例子。这个模式声称，对于任何有一个变量的函数谓词 "F":首先，我们必须把 "F"("x") 替代为其他变量 "y": 当然，这个陈述不正确；"y" 必须在 "x" 之后立即加量词: 我们仍必须介入 "P" 来前卫这个量化: 这是几乎正确的，