invariancy

not defined yet