Abstract This paper develops the missing constituent-level result required to close the preconditions conjecture introduced in Identity Conditions as Preconditions for Epistemic Operations. The earlier work argued, through a series of worked examples, that coherent epistemic operations require identity criteria but left the general claim open. Composing with The Root of the Demand, which derives re-identifiable content from answerability, this paper proves the missing intermediate lemma: if an output’s content is re-identifiable, every constituent of its aboutness structure must admit identity criteria at least as strong as the claim’s evaluative reach requires. The argument proceeds by failure-removal rather than stipulation. Attempts to eliminate identity criteria through descriptive reference, empty reference, vague targets, or holistic accounts of content are shown to relocate the required criteria rather than remove them. The result yields a general theorem, within the class of answerable epistemic operations, under which the original seven worked operations become corollaries rather than independent cases. The paper also distinguishes the existence of identity criteria from their declaration, preserving the separation between constituent-level structure and the shared-regime requirements established by the sufficient regime specification theorem. Remaining boundary questions are explicitly classified rather than absorbed into the theorem.
Devin Bostick (2026) studied this question.