Squark comments on The Problem with AIXI

[Squark]

This is exactly how my formalism works.