G:14                 If (|m'| = |b|) B ← B - {b};