Title: The higher arithmetic