Seven shuffles are enough to truly mix a deck of cards — Anecdota