BCS wrote: > with a wink and nod to Gödel: > > "All const systems are either inccorect, or incompleat (in that > desierable concepts can't be expressed)" Is that always true? Or just in the context of this thread? > I'd like to be proven wrong. So you aren't declaring this invariant?