Banishing existential checks to their rightful plane