Maybe add a `<defaultGoal>`?