Martin W. Bunder: Equality in. Math. Log. Q. 24(8): 125-127 (1978)