For him the two cooperate by making distinctive and valuable contributions to a unified body of demonstrative science. Human reason is augmented with the addition of new principles taken from revelation, but reason is never corrected or overridden by faith, as Boethius would have it. For Aquinas reason does exactly what Aristotle promised, establishing necessary conclusions on the basis of indubitable first principles.