Don't try and symbolicate unions; we don't reason