Maybe the poster meant that the words don't imply ¬∃¬