inverse should have more explicit arguments