NOTE: There are two typos in this diagram - the first rule should have a sufficient condition of H - L, not T - L. Also, in the third frame, the line should connect L and S, not H and S.

Following the fork in the fourth rule:

We know in the second frame either H or L is first:


The final frames:
