Funny that we say “X does not exist”. If it doesn’t exist, we can’t talk about it. What we mean is “the formula ‘X’ doesn’t denote anything”. It’s like a macro, but in natural language.