https://bellatorchristi.com/2018/10/15/the-bgv-theorem-an-unexpected-asset-for-christian-theism/