don't check depenency invariants on add as they are kind of boring