Eliminer les quantificateurs existentiels.Prendre la formule la plus a gauche de la forme 
?yB(y) et la remplacer par B(f(x1, ..., xn)) ou :
- x1, ..., xn sont des variables distinctes de ?yB(y) quantifiees universellement a gauche de 
?yB(y).