 So on this framing, for the possibilist, what allegedly distinguishes the likes of us (and the likes of the natural numbers) from possibilia in the sense of \(\textbf{Poss}_{\sfC}\) is: not being contingently non-concrete. Taking this, then, to be what “actuality” signifies, with a bit of propositional logic, we have: