diving into choreographies
new cover + synchronizability
polishing + top-down development process reloaded