If types are abstract and non-physical, they cannot causally interact with physical performances, ma...
This proposition has not been edited since the history system was added.