paulfchristiano comments on What can you do with an Unfriendly AI?