Arnauld charged Descartes with circularity in his theological proof. I argue that Arnauld was correct. I also make suggestions about why Descartes fails to see the circularity. Both points are important. Many are uncomfortable ...