Ok, I got your point:

12345 -> 12435 -> 12534

This is not the same as 12345 -> 12354 (check out the italicized part).