Randomized: hitting times, etc.