Finished the Terminology Constraint Section