checking for uniqueness proc IDs implemented