Thomas Aquinas's great task was to integrate ____ with Christian theology.