s-existential