invariancy
not defined yet