added abstract, EUSES example and fixed a few todos