Adding integers using rules