Deleted 2.rkt~