G:10                    Iterate(m', B, Result);