prenex finished, testing needed