M. Manzano and M. C. Moreno, “Identity, equality, nameability and completeness. Part II”, B Sect Log, vol. 47, no. 3, pp. 141–158, Oct. 2018, doi: 10.18778/0138-0680.47.3.01.