Finishing up Reasoning and Mutability post
Minor edits before publish