 Premise (1)  was defended in  section 6,  premise (4) is true by the definition of “strong agnosticism”, and steps  (3)  and  (5)  follow from earlier steps by modus ponens and modus tollens, respectively. This leaves premise  (2),  the premise that, if atheism is very probably true, then atheistic belief is rationally permissible.