Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Generalisation of the criteria from Theorems 4 and 5 to universal constraints up to nesting level 2. Here, 
is short for 
, 
denotes dependency of 
on 
, 
denotes 
causing a conflict for 
, and crossed out versions denote the respective absence.
| Type of constr. | Crit. for direct consist. sust. | Crit. for direct consist. impr. |
|---|---|---|
 |
 |
 |
 |
|
|
 |
|
|
