(1980). God's necessary being