ToString/isGoal method implementations