Checked and tested the addition function