Which of the following does Aquinas' first proof, or way, have to do with?