This is actually the definition for Solomonoff Induction, as it uses the more technical description. I don’t see a reason why we can’t just have Occam’s Razor take on this definition. (Perhaps I need to check if there is a technically different definition for Occam’s Razor) ^c5e171