commented calling prenex code