Title: A concise arithmetic