Rename Ex4.rkt to 4.rkt