Search Space and Target - The Search Problem — Formalization | OneNoughtOne