Addition Rule Definition