This may be in the wrong section. I just started learning about invariants and i need to write one for a merge sort. I don't need the code, just the concept really.