existence alternative

.