Result ← {};  G:l     m' ← m;