outline paper intro and conclusion, write out explicit spec transformations (in google doc)