invariant test