Step 4

Since now each gap of t_k is also in a_k at the same position, and each gap of a_k is in t_k, a_k is equal to t_k. This means that we can simply add t_k+1 to the MSA and rename t_k+1 to a_k+1.