Memory verification doesn't presuppose numerical identity—it presupposes only causal-historical conn...
This proposition has not been edited since the history system was added.