Hayden- added some invariants