"swap first two elements of L1 if L0 and L1 are identical" applies after splitting...