J. Woleński, “Metalogical properties, being logical and being formal”, LLP, vol. 10, no. 10, pp. 211–221, Jan. 2004.