arithmetic and abstraction Exploring how homoiconicity could help with understanding abstraction in arithmetic.