CS 4440 Notes