Rename Ex6.rkt to 6.rkt