Fig.3.fragmentofthor'shtmloutputofanalyzingprogramsthatrequirebothshapeandarithmeticreasoningandalsoservesasasourceofinterestingtestprogramsforarithmetictools.thorisavailablefordownloadathttp:/www.cs published presentations and documents on DocSlides.