Done invariants, we should make tests now