17 May
2008
17 May
'08
11:05 a.m.
Well, it wasn't fullt stringent. "[]" is not a set which contains ], it is a _prefix_ of a set containing ]. Or put differently, all valid continuations result in sets containing ].