Proposition (Completeness for shuffles). If [[s1]] [[s2]] then s1 = s2.
Proposition (Cancellation of nodes). For any:
Back