Binary Rules For Addition