User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-34422464-20190815141059

As I said, I will make it more clear later. I don't see overlapping cases except for where I set state to S0 before going to 3.