Added Rebecca's non trivial sequence diagram