J. Pagès, “Identity of Types and Truthmakers”, CRHF, vol. 33, no. 97, pp. 63–84, Jan. 2019.