Title: Normal arithmetic