Hint: {{tactic.selectedDerivation().id}} | 
  • {{f.id}}:
  • {{f.id}}:
false