removed some invariants, wrote it up