SummaryBot comments on AI for Human Reasoning for Rationalists