Title: The progressive higher arithmetic