Bir v değişkeninin serbest geçişlerini içeren bir açık formülümü kapalı bir formüle dönüştürürken, önce formülü v ya da Ɐv ile nicelemek sonrada v değişkeninin serbest geçişleri yerine bir ad sembolü koymaktır. Gx ˄ y (Ɐz Fz ˅ Hy) formülünde x değişkeninin serbest geçişi yerine B ad sembolünü koymakla GA ˄ y (Ɐz Fz ˅ Hy) önermesi elde edilir. Ɐx ile nicelersek Ɐx (GA ˄ y (Ɐz Fz ˅ Hy)) elde edilir.