Two fair coins are flipped. What is the probability that both are heads given that the sum of heads is greater than 0?