Mr Ninian Smart distinguishes what he calls the Utopia Thesis from the Compatibility Thesis. The latter he formulates as the contention: ‘that causal determinism is compatible with free will.’ The former is ‘the assertion that God could have created men wholly good’. Smart clearly has his doubts about the truth of this Compatibility Thesis. But his sole aim in ‘Omnipotence, Evil and Supermen’ is to try to show ‘that the Utopia Thesis does not follow from the Compatibility Thesis, despite appearances.’.