Delete 4.78-simple.rkt