Squark comments on The Problem with AIXI

[Squark]

I believe my formalism closes the gap between UDT and naturalized induction.