What shuffling a deck of cards actually means: