Iemand moet een ISDA Master Agreement maken, maar dan voor definities van voorspellingsmarkten