Added presentation for CiE
Fixed a minor typo
Updated proof outline
Darker color of the run phase
Added a note about the simulation to the abstract, fixed #61