Vi bör bygga ett axiom för förutsägelsemarknader för konkurrent @darkresearchai