on inverse mod rl