\tau_2\cdots\tau_{n-1}\tau_n\sigma=\mathsf{id}