The translation of Bod'S, a( a) will do only for those relative modalities, like necessity, for which R'@ bm and, hence, the translation of d' are theorems under the appropriate postulates on the ^' relation.