G:12                 mt ← b ~ m';