A bag contains 2 coins: one fair, one double-headed. You pick one, flip it, and get heads. What is the probability it is the double-headed coin?