prenex use.tpl