I also think it's safe to assume that the set of goals isn't fully resolved, but it's harder to "prove" that.
I also think it's safe to assume that the set of goals isn't fully resolved, but it's harder to "prove" that.