Initial commit of invariance.