-p(?x,f(?x))
