This is an extreme example but I'm still slow at these where the ordering constraints (X is 1 before Y, Z is 2 after x) interact. Writing out the orderings...