Update a1.rkt