These types of comments help demonstrate first-hand how human reasoning stacks up against what an LLM would say in this situation.