Rename adds to add_sat.