He did discover the functional interpretation in 1940 and publish it only in 1958, so it is highly probable that he has valuable unpublished results.
n=1
> highly probably
Ah, the optimism of today’s youth!
n=1
> highly probably
Ah, the optimism of today’s youth!