Encoding problem in proofactivity