philip_b comments on Is there software for goal factoring?