sequence charts would be very helpful. Maybe not in this PR, but a ticket at least.