Even if Kripke's arguments target intrinsics, this doesn't show relational properties aren't necessa...
This proposition has not been edited since the history system was added.