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