shift_left (Validation Sequences) = Verification Sequences