Create stub for paper for Logic and Religion Congress
Remove discussion of the proofs by Anderson and Frode