Thomas Aquinas and reasoning