@Admin All options resolve as NO. Thx!

@ArthurKing g has no bets or comments just this market. Does he realise that all options cannot be judged no?

If he doesn't return what will a trustworthy-ish person do with this market?

Treating "Oct 10, 2023" as 'October 10, 2023' or later seems one option - it will be closer than other answers if it hasn't launched by 10th.

Voiding it might be another option. (no worries in this case other than not wanting lots of mana tied up for a long time.)

Are there any other sensible options?

@ChristopherRandles Well, the devs could implement code allowing all options to be judged no in resolution.

@SEE Why would they do that if all the sensible traders expect the resolution %ages to add up to 100% and bet for (or against) one option pushes the other options %ages down (up)? If someone knew all 0% was going to be the outcome you could profitably keep selling different options until you run out of mana. To me, that seems an idiotic resolution which would require changes (i.e. inappropriate effort) to do, so why would they?

Rather needs "None of the above" option! Maybe even two, "before Oct 1" and "no launch by Oct 10".