Computer Arithmetic and Validity door