 Here ‘\(C\)’ continues to denote the property of being a concrete object (as per the formulation of existence monism: §2), and ‘\(P\)’ the priority relation. This defines the predicate ‘\(B\)’ used in the formulations of priority monism, pluralism, and nihilism above. Object foundationalism may then be defined as the following thesis: