timtyler comments on Cryptographic Boxes for Unfriendly AI