Documentation of findNecessaryAndPossible updated