Life cycle constraints
Verification constraints