Getting rid of extra stuff from 1-Introduction