dependencies and proper associations in invariants