with a wink and nod to Gödel:

"All const systems are either inccorect, or incompleat (in that desierable concepts can't be expressed)"

I'd like to be proven wrong.

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?