avturchin comments on A sufficiently paranoid non-Friendly AGI might self-modify itself to become Friendly