TurnTrout comments on Walkthrough of ‘Formalizing Convergent Instrumental Goals’