Finished additivity section. Moved on to Resolution.