He managed to prove it quite rigorously for a specific example, which is the paper semi-extrinsic mentioned. He did indeed not prove the correspondence in gener

He managed to prove it quite rigorously for a specific example, which is the paper semi-extrinsic mentioned. He did indeed not prove the correspondence in general, but even this 'limited' example already turned out to be immensely useful.