fixed invariants setting