Aquinas - Leftow, Brian (Ontological arguments, 2018)