Manzano M, Moreno MC. Identity, equality, nameability and completeness. Part II. B Sect Log. 2018;47(3):141–158. doi:10.18778/0138-0680.47.3.01