let empty_goals = []