Email Record: Algebraic theory of locally nilpotent derivations.