Informalizing Formal Logic - Kakas, Antonis (Informal Logic, 2019)