revised Ex1.rkt