[VEX for Algorithmic Design] E18 _ Randomness Basics