These requirements derive from the basic structure of the theory