Goal Transformation and Goal Reasoning