from a well shuffled pack of 52 cards