challenge a proof