Background and Definitions:

External Document