There are three types of belief-carrying quantity. They are elements, components, and assignments, each discussed further below. There also data-carriers, which are quantities that have been defined by DATA: , DATAVEC: , and FACTOR: commands, but which are not associated with any belief specifications. Their sole function is to carry data. As soon as an element with the same name is introduced, the data is attached to the element, and the distinction removed.