And in this case what we have to do is compute the set of methods that are relevant for this given task under some substitution sigma, and that are also applicable in our initial state Given as part of the planning problem. 