@doenfeelgood @alexferkaa @magbertus @yeru_saleem @hosyihosyi @tejoobud got it. this is very interesting. when we say a = a, it seems that we are saying that the constant a stands for some singular term that refers to some individual in the actual world, and this individual is self-identical.