invariants joined