일 실시예에서는 근접성이 필요한 제약사항이며, 따라서 항상 지정되고, 또한 다른 선택되지 않은 제약사항들보다 높은 우선 순위를 갖는다.
Proximity is a required constraint in an embodiment, so it is always specified, and also takes a higher priority than other unselected constraints.