Binary Addition Rules With Carry