Two fair coins are flipped. What is the probability that both are heads given that at least one is heads?