One of the things you do when you play poker is shuffle cards.