There are three coins: one with heads on both sides, one with tails on both sides, and one with heads on one side and tails on the other. You pick a coin at random and toss it, resulting in heads. What is the probability that the coin you picked has heads on both sides?