qvalq comments on Corrigibility = Tool-ness?