What is the probability of drawing a 9 of spades from a 52-card deck given the deck is properly shuffled?