When must a foreign key have domain equality?