The claim conflates proof availability with semantic falsity; antecedent falsity remains determinate...
This proposition has not been edited since the history system was added.