uncommented prenex calling code