interstice comments on Down with Solomonoff Induction, up with the Presumptuous Philosopher