Correct name invariance spec