Two fair coins are flipped. Given that at least one flip resulted in heads, what is the probability that the second flip was tails?