Type identity preserves causal closure: if mental properties are distinct from physical ones, mental...
This proposition has not been edited since the history system was added.