invariance

not defined yet