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