finish 1.17-1.20.scm