Removed 7.rkt~