The logical incumbency of belief in God