Update a9-2.rkt