add p1.rkt