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:
