Before revision: (x = y ∀F ( FxFy )) IdIndscs: ∀x,y.
After revision: (x = y ∀F ( Fx Fy )) IdIndscs: ∀x,y.