inversable
not defined yet