Would Sisyphus be better or worse off if he had a robot to push the boulder for him?