Yes, because `True == S.true` and `hash(True) == hash(S.true)` (the latter ensures that this works with sets too).