Confused about searching for rpos in the full state space