Ghorbani, S. Equality Logic. B Sect Log 2020, 49, 291-324.