∃(実在してる)
∀(何処か不明な)
¬∃(実在不明の)｢対象や式｣
¬∀(何処にもない)

みたいな認識OK？

別にレスバ参加しないから普段は書かない