Delete def-multi.rkt~