Algebraic Theory of Locally Nilpotent Derivations. (2017)