Noen må lage en ISDA-hovedavtale, men for prediksjonsmarkedsdefinisjoner