Proof of concept of doubtful proofiness