Two fair coins are flipped. You are told that at least one of them shows heads. What is the probability that both are heads?