Re: sum of pointed sets.