Michels, R. The Formalization of Arguments. Dialectica 2022, 999.