S. Ghorbani, “Equality Logic”, B Sect Log, vol. 49, no. 3, pp. 291–324, Nov. 2020.