• {{deductionPath.sections[0].path[0] | ruleName:this}}
  • {{deductionPath.sections[0].path[0] | ruleName:this}}
  • {{step | childRuleName:this}}
  • {{step | childRuleName:this}}
...
by {{justification.details.standardDerivation.name}} Prune
by {{justification.details.standardDerivation.name}} Prune
{{proofTree.node(step).rule.codeName}} Counterexample Tactic Prune