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