Update a10.rkt