Title: Language and verification in Thomas Aquinas