We have, in fact, only substituted the generalisation that A's pointing to is generally accompanied by the existence of, for the generalisation that A's existence is generally accompanied by the existence of.