removed intro.rkt