Tweaking reasoning chapter & closing #43