s-existential: X