Demonstratives may genuinely resist reduction because their content depends on context-dependent ref...
This proposition has not been edited since the history system was added.