Of course, if the existential and onto logical basis is secured beforehand with the evidence of being in the world, this correlation can be known subsequently as a formalized, onto logically indifferent relation.