“a study of theism and verifiability”