##
{a -> m[1], b -> m[2], c -> m[3]} + {a -> m[1], b -> m[3]}
####
{ a -> m[1], b -> #, c -> m[3] }
####
{ a -> m[1], b -> # } - b
####
{ a -> m[1] }
####
{ a -> m[1], b -> m[2] } [ c => b ]
####
{ a -> m[1], b -> m[2], c -> m[2] }