Two-variable R and L inversion

Combined import; the R-only identity does not depend on L theory.