BROKEN ROULETTE (VS. TQBF)