Excluding one category from causation doesn't logically eliminate all other categories by necessity.
This proposition has not been edited since the history system was added.