All the jacks, queens, kings, and aces of a regular 52 cards deck are taken out. The 16 cards are thoroughly shuffled and my opponent, a person who always tells the truth, simultaneously draws two cards at random and says, “I hold at least one ace”. The probability that he holds two aces is