for how long this theorem was quiet and unrecognisable it became truthlier-rawer and less polished. maybe he is the one, maybe he is not.