❓State a loop invariant for the while loop of lines 12-18 of the MERGE procedure. Show how to use it along the while loops of lines 20-23 and 24-27, to prove that the MERGE procedure is correct. 💡
