ch2.5.3.scm