What other computational separations exist? Can they be more “natural” if the computational advantage is smaller (we study super-polynomial advantages)? How else can we use formal relationships between Crypto and ML to heuristically argue about “real-world” ML phenomena?