Add union intersection principle