If there aren't any, the statement is true (in a useless way). But verifying that something doesn't exist is indeed difficult.