Programmers can answer all existential questions with ease