| Search internet |
Origin: check. Landing-place: diagnose.
Probans tactic used on non-endorsement: x
The Probans tactic
was applied to an argumentation x whose conclusion was not of form
. The term x is given out of context and after macro and tactic expansion, so start out by locating the error. See also Probans-seqop used on non-endorsement.
| Search logiweb.eu |