G:20              Result ← Result ⋃ {m'};