Type Alias TNotCarriedReason

Why an agree answer carried nothing into the argument answered.

• axiom: the link fixes an axiom-bound claim false, or fixes nothing but axiom-bound claims true, which they already are.
• unknownClaim: the claim lookup passed to carryAnswers does not hold a claim the link fixes, at the version the argument binds, so whether it is an axiom cannot be told.
• notExpressible: what the link says about its expression is not a set of fixed values, as with contradicting Q ∧ R.
• impossible: the expression can never have the value the link gives it.
• vacuous: the expression has that value whatever its claims are.
• tooLarge: the expression reads more claims than the search allows.
• nestedReinforce: a reinforce of an operator below a premise's root.
• nonConditionalRoot: a reinforce of a premise root that is not implies or iff; accepting it would assert the premise, not a step.
• ignoredInConclusion: an undercut of an operator below the conclusion's root, which evaluation ignores.
• derivationOperator: an undercut in a derivation premise, which evaluation ignores.
• linkStep: an inference link on another response's link, which has no step to dispute.
• noLinkReached: answering another response, the link fixes nothing any of its links are about, or fixes nothing evaluation reads.
• conflict: another agreed link of the same response fixes something it fixes the other way; conflictsWith names those links.
• notALink: the answer is on a premise that is not a link.