Wrong Invariant?

Printable View