Hacker News new | ask | show | jobs
by throwaway49494 2255 days ago
Maybe the poster meant that the words don't imply ¬∃¬