Invia SMS: Algebraic Theory of Locally Nilpotent Derivations