Text this: A Formal Reading of Leibniz's Cosmological Argument.