I will first be testing some stuff on this market, disregard those for now.

But once everything looks good, I'll post "this time for real", generate a random number from 1-3, and resolve yes if-and-only-if the result is 3.