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