Paper 2--Deductive Atheology