Asserted that the adding machine behaves like an adding machine