Intro and a few abstract changes