A modification introduced to preserve the same foundational goals—deriving arithmetic from logic—cou...