This one is actually quite fun. We’re not going to use any “logic” in the traditional sense and in doing so use a method that I think makes the result fall out naturally. A liar who always lies says, “all my hats are green.” Before we get to the question being asked about this statement let’s formalize it. Define a set ℍ (hats) which is the set of all hats in the universe.