AlexMennen comments on Clarifying Consequentialists in the Solomonoff Prior