Delete count-gt1.rkt