Refine Addition