second part of use case rewrite. Complete text is now in latex yo.