}  G:5                 mt ← m' ~ b;