Armok_GoB comments on The Problem with AIXI