procedure ObjectExistsAtDC(o: DSName, dsa: DSName): boolean

The ObjectExistsAtDC procedure checks that the object o exists on the DC whose nTDSDSA object has the DSName dsa by verifying that the DC holds an object o' whose objectGUID value is equal to that of object o. If the object exists, the procedure returns true; otherwise, the procedure returns false.