removed header from ex1-1.rkt