A statistics professor tosses two coins that cannot be seen by any students. One student asks this question: “Did one of the coins turn up heads?” Given that the professor’s response is “yes,” find the probability that both coins turned up heads.