Update p1.3.rkt