David Joshua Sartor comments on Corrigibility = Tool-ness?