added info.rkt from jay