Update a7.rkt