Slightly modified use case. Added a few sequence diagrams.