paulfchristiano comments on Cryptographic Boxes for Unfriendly AI