Deleted 4.rkt~