kinds: # topic / section + argument ! objection < reply
verdicts: [+] accepted [?] unresolved [x] rejected
(n) = nodes inside