Added 2nd invariant.