There’s some other programmable cryptography that’s going to be really interesting for AIs. The next one is multiparty computation. At the moment, I can train a model. You can only make proofs about things that you know. You can’t make proofs about shared secrets.