Update a2.rkt