Sometimes it is desired to send data out of a discreet object but to limit the quantity of information.

As a case in point assume an abstract object implemented with proprietary code. Assume that the author wants to arrange for the sending of a measure of use of his code suitable for producing a bill.

We assume trusted code that runs in a domain called SLOW. SLOW obeys the rules below and that the author and user both believe it:

See (ch-fact) for related ideas.

See (p2,col) for a proposed object type.