demonstrate by substitution
ex1-16.scm updated