correct introduction of computational system
start of the layer presentation in the dot file
introduction of TODO on protocol