Each of these follows from links two or more papers assert, but no paper in the
corpus states it. A chain is only as strong as its weakest link, and the tier below reports
that weakest link, not the best one.
Nothing composes yet. That happens when the recorded
links do not yet chain: a new paper reducing something to one of the classical criteria below
is what starts it.
What would settle it
This upgrades the well-known partial result that claims only monotone unsolvability thereof, and eventually…
implies
the target