Delete ex-1.3.rkt