Existence vs Location vs All Occurrences - The Search Problem — Formalization | OneNoughtOne