Success and Failure Conditions - The Search Problem — Formalization | OneNoughtOne