All variables must satisfy the following conditions: