I can construct a segment that is the sum or difference of two other segments (using segment add-on postulate)