Extensional identity alone cannot ground modal facts about which events could have constituted a typ...
This proposition has not been edited since the history system was added.