Updated sequence diagrams, and added two more use cases