wishes can be converted to incentives, what if the incentives change such that formally verified proofs were rewarded more and informal "proofs" less?