(define 1.7a "puzzle1 computes the decimal expansion of pi to 100 places")
(define 1.7b "puzzle2 computes ...")
1.7a
and 1.7b
1.7b