TimK comments on Naive comments on AGIlignment