Leveraging Structure: Logical Necessity in the Context of Integer Arithmetic