 This is a stronger statement than the nonmodal rendering that was presented earlier. But it seems equally plausible. And an advantage of this rendering is that the following modal existential background assumption is sufficient to make the truth conditions of mathematical statements come out right: