The non-identity problem reveals that value facts alone don't determine whether we have categorical ...
This proposition has not been edited since the history system was added.