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