Jeremy J. Carroll APPROVED Sets with appropriate extensions are related by unionOf.