invertible
not defined yet