 The expressions “category” and “type” are themselves formal ones, and Ryle insists that “there is (and can be) no finite number of categories or types”. Ryle’s identification of type-errors or category mistakes is intimately tied to the production of nonsensical or absurd sentences; and “delineating a category is a matter of marking a logico-conceptual space of sense-making rather than a factual domain of truths…” (Bäckström and Gustafasson 2017, 48). Ryle’s introduction of “proposition-factor” (as an ingredient expression) will, as he points out, tend to be misleading as soon as one inquires about the nature of “factor” and fail to treat this expression as an abstraction or discriminable feature of what is integrally said or integrally thought (see section 4, below). 