sequence diagrams corrected by Yang Liu