Added rule X + X = X