Right-inverse property loop