All three constructions of inverse