use proper union operators for union instead of +