Goal Completion Language