Liam Donovan comments on Clarifying Consequentialists in the Solomonoff Prior