A. Smart, J. Smart, and F. Zerilli (eds), “In/formalization”, Anuac, vol. 6, no. 2, pp. 45-108, Dec. 2017.