let
empty_goals = []