Rejecting 'Γ ⊢ φ universally' based on edge cases conflates 'not always provable' with 'the principl...
This proposition has not been edited since the history system was added.