First run at constraint labeling