A reductio can be valid even if the targeted position is self-undermining; validity doesn't require ...
This proposition has not been edited since the history system was added.