wrote intro and assumptions