he probably knew her, but it didn't do any harm to make certain.

他很可能认识她, 但确定一下是否如此并没什么坏处。