On Mon, Aug 26, 2019 at 1:53 AM Tony V E via Std-Discussion <
std-discussion_at_[hidden]> wrote:

> Are you then going to continue, and define what value is?
>

The right way to define this is to say that objects have a value
representation consisting
of a fixed subset of the bits of their object representation, and that the
value of an object
is the sequence of bits in the value representation.