If expressions are truly intersubstitutable salva congruitate across contexts, they express the same...
This proposition has not been edited since the history system was added.