added a couple more invariants