Title: The normal higher arithmetic