@zacharylipton @ryotat It's all useful, just saying depending on how much you can "encode" formally and use in a mathematical proof. So in a PAC setting, can you describe what makes the prob distr "nice" and then use that to prove something?