Delete ex-1.5.rkt