prenex modified