H. Wessel, “The identity of strong indiscernibility”, LLP, no. 2, pp. 117–134, Jan. 2003.