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 &#x27;limited&#x27; example already turned out to be immensely useful.