This thread(I believe) is entirely about real world systems. In that you don't want to prove merge sort is correct. You want to prove that the connections creat

This thread(I believe) is entirely about real world systems. In that you don't want to prove merge sort is correct. You want to prove that the connections created inside `useEffect` are properly closed or something like that.