SummaryBot comments on Evaluating the Infinite