Rohin Shah comments on The Value Definition Problem