The Higher Arithmetic