Card shuffling update: For complete randomization, one generally needs to shuffle a deck of cards 7 times. But for many games of chance, 4 shuffles is probably enough.