Fixed backwards invariant. Invariant should check how it _should_ be, else throw and exception.