impl. of inverse