are defined as a collection of assertions$$both verbal and symbolic$$that specify how and why variables are related, as well as the conditions in which they should $($and should not$)$ be related.