JoshuaZ comments on Making Reasoning Obviously Locally Correct