Does the set of all sets that does not contain itself contain itself?