Section 2 - Buffered things

A buffered thing is a kind of thing. [X is buffered means that X is a buffered thing. X is always buffered means that X is a kind of buffered thing.]

Definition: a thing is unbuffered if it is not a buffered thing.

A buffered thing has text called initial message. The initial message of a buffered thing is usually "".

A buffered thing has a number called buffer shares. The buffer shares of a buffered thing is usually 1.
[X has Y buffer shares means that the buffer shares of X is Y.
X has Y buffer share means that the buffer shares of X is Y.
X gets Y buffer shares means that the buffer shares of X is Y.
X gets Y buffer share means that the buffer shares of X is Y.]