Interval Analysis: and Automatic Result Verification: 65