Notes on BigJava chapter 2