Analyzing goal.mu...