ex 1.30
ex 1.31a.rkt