Rename Ex3.rkt to 3.rkt