Key abstractions diagram fixed
5.2.2 complete, deployment view is not finished