Right inverse function

Summary