Title: Normal Union Arithmetic