Note this is a market about the name, if they call it "Gemini 2.0 Ultra" "Gemini 1.5 Advanced" or whatever this resolves no. Note that there's a fairly continuous range of possible names, so it's potentially a debatable judgement call whether a name is close enough to Gemini 1.5 Ultra to count.