starting invariance