S-existential