Our translation scheme did not take account of singular terms because they need never occur in the primitive notation of quantified If we also postulate that the counterpart relation is an equivalence relation, we get an interpretation like that of Fdllesdal in Referential Opacity in Modal Logic (unpublished Ph.D. dissertation, Harvard, sec.