 This is an extremely important point, because it turns out that there are some very compelling arguments (which we will discuss) in favor of (S). As a result, there are very few advocates of immanent realism and conceptualism, especially in connection with mathematical objects and propositions. There is wide-spread agreement about what numbers and propositions would be if there were such things (namely, abstract objects) but very little agreement as to whether there do exist such things. Thus, today, the controversial question here is a purely ontological one: Are there any such things as abstract objects (e.g., mathematical objects, propositions, and so on)?