pull down to refresh

I'll post a proof tomorrow that the probability is indeed $x$, as already found by @Scroogey and @Undisciplined.