Update a9-5.rkt