一些文章指出，当存在多个工具变量时，overid检验可以判断iv是否为外生的？是否如此？

当恰好识别时，即一个内生变量对应于一个工具变量，overid不可得，能否检验工具变量的外生性？

orthog(varlist)选项声称可以检验工具变量的外生性，甚至在恰好识别的情形。

那其与overid的关系是什么？