Title: Discovering meanings in arithmetic