logoalt Hacker News

tim-ktyesterday at 9:32 PM0 repliesview on HN

I mean, yes. But "it doesn't hold that <anything>" is equivalent to "it holds that <not anything>" and since not anything is also anything... Ah, I see.