Soundly-Addition