What are the properties of addition?