I will use Fairly random to generate a number between 1 and 2 on july 20. If it is 1, this market resolves yes. Else it resolves no.