If this rule is applied exhaustively to an MRS M, we obtain an MRS M without EPconjunctions.
it should be intuitively clear that the configurations of M and M correspond; the configurations of M also correspond to the minimal solved forms of the translation of M .