Randomized AI.