Manfred comments on Goal completion: algorithm ideas