(Formal) Argumentation Theory (The Reasoner, 2017)