I agree, we should not define what a value is (except for trivially copyable types), however, I do believe that we should at least explicitly that that all objects have a value.