Some Changes to ThinkingMuchBetter