Before revision: Example First-order formula with one universal quantification has the fmp.
After revision: Example A first-order formula with one universal quantification has the fmp.