"arnauld" - key terms from Wikipedia