Should we use invariant ?