Lecture 02 - Closure and Nondeterminism