probably similar to solomonoff, just in the number of variables, and without the computability aspect (since we know that prop-formulas can be evaluated in exponential time)