White's New Complete Arithmetic