• {{step | childRuleName:this}}
{{highlightStepPosition(proofStepChildren(step)[0], true)}}
  • {{step | childRuleName:this}}
{{highlightStepPosition(proofStepChildren(step)[0], true)}}