added some invariants