Where does addition come from? Let’s think about it