Sorting vs. Braids vs. The Substitution Lemma vs. lambda xc

The notions in the title are shown to be related.