X PREDICT (PROOF) (XPREDICT)