what this gives us is a planning problem that contains some magical objects, for example looking at the first operator when we move the robot r from location i to l prime, the precondition is that the robot is at location l.