Quiddities are intrinsic properties independent of causal roles, so removing them leaves causal prof...
This proposition has not been edited since the history system was added.