Alice and Bob are playing a game with you. They have each secretly flipped a coin. If the coin came up heads they will always tell the truth. If the coin came up tails they will always tell a lie. It is your job to figure out what each coin shows.

Alice looks at Bobs coin and says, "We both always tell a lie." Use propositional logic to argue what each of Alice and Bobs coins must be.