Removed bad invariant