Given observation and some , we use AS to approximate all possibly relevant within accuracy, and predict a continuation with maximal . This ensures that no can yield some significantly exceeding .
That is, with comes a computable method for predicting optimally within accuracy. This contrasts with Solomonoff's noncomputable method.