Made inverses explicit in all cases.