Two fair coins are flipped. What is the probability that at least one is heads, given that the first is heads?