Update 9.rkt