updated Intro
updated formalism
updated eps