[cgio]

I think why everything but x+y=z would be x+y=z. But why x+y=z would still be open unless it is self referential.