 ‘Necessarily A’ has here been transformed to ‘A’, which is a valid move since necessity implies actuality, but ‘B’ has been transformed to ‘necessarily B’, which is an invalid move. The same can be said for all the modal conversion rules under a de re interpretation. If, on the other hand, the de dicto reading is maintained, it is easily seen that they are valid in view of the validity of the non-modal conversion rules.