Factual claims and hypothetical constructions are hopelessly jumbled together in these posts, so making sense of them requires sorting this out. I think the appropriate role for that provision is as an axiom for the notion, not as an assertion of fact. There may be a further assertion of fact, but it’s ignorable, while the axiom has some hope of being useful.
(It doesn’t look feasible to mine these posts for something not already familiar, but maybe they sketch their general topic enough to communicate what it is.)
Factual claims and hypothetical constructions are hopelessly jumbled together in these posts, so making sense of them requires sorting this out. I think the appropriate role for that provision is as an axiom for the notion, not as an assertion of fact. There may be a further assertion of fact, but it’s ignorable, while the axiom has some hope of being useful.
(It doesn’t look feasible to mine these posts for something not already familiar, but maybe they sketch their general topic enough to communicate what it is.)