Insertion Sort: Shifts And Invariants