River comments on How to solve the argument about what the algorithm should do