 In order to properly characterize existence monism, one should first introduce a predicate ‘\(C\)’ that denotes the property of being a concrete object. (The notion of being a concrete object is natural and useful, so this should be clear enough to work with.) Then one can introduce the formula: