Update a9-4.rkt