Files for "How can you get a fair coin toss if someone hands you a coin that is weighted to come up heads more often than tails?" post