If you think this is needlessly complex, just wait until you see what the betting mechanism of an agent looks like in a 'simple' auction. With strategy-proof mechanisms you just bet with what you know instead of predicting others' sets of information and their inclinations and acting accordingly.