RL Theoretical Foundation