So the requirements on the state space partly come from the ability to run the goal test, they partly come from the ability to find the correct successor function, and you'll have a lot of practice formulating these kinds of problems. 