Rename p2.rkt to p3.rkt