add section 2.2.3.scm code