Ochulor, C. Formalized Arguments. sophia 2012, 12, 136-144.