Changing to show better proof of sorting