Next step is code for conversion to prenex normal form