Two fair coins are flipped. Given that the first coin is heads, what is the probability that both are heads?