G:16                    m' ← mt;