Delete ex-1.2.rkt