Suppose The galaxy Messier 87, located in the Virgo Cluster, has one of the most massive black holes known, designated M87*.
Can we infer that "The galaxy Messier 87 has no black holes"? Yes, no, or maybe?