How do we formulate search problems?