Thomas Aquinas, who refers this definition to Avicenna (who adopted it, in turn, from Isaak Israeli's Book of Definitions tenth century als uses the terms correspondence) and convenentia correspondentia adaequatio coming together) for (agreement).