How about rehashing poor ATPG's arguments?