In a world where it is false that p, no relation-instantiation grounds the fact that p, so positing ...