Since order within each relation matters, the following is a different rule:

This rule can be represented graphically as:

Like the previous rule, running this rule also gives a tree, but now with a somewhat different structure:

With the other rendering from above, the last 3 steps here are:
