Added keyword union and intersection procedures