If the proposition believed by God is the eternal variant, it is a numerically distinct proposition ...