Type-repeatability across agents follows from the identity conditions of causally producible states,...
This proposition has not been edited since the history system was added.