a+b => ab