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