If you haven't checked already , Pruss and Josh's Necessary existence preview is available on google. Interesting stuff.