Existence vs non-existence