Update a9-3.rkt