[PPT] - A Testable Abstract Data Type of Outer and Inner Real Approximations PowerPoint Presentation