 “Know” in instances of the locution “\(x\) knows that \(p\)” is factive: if \(x\) knows that \(p\), then \(p\). Similarly, “know” in instances of the locution “\(x\) knows \(y\)” is veridical: if \(x\) knows \(y\), is acquainted with \(y\), then there is a \(y\) and \(x\) knows \(y\).