제약
제약 Agree가 제약 Dep을 지배한다는 것이 가능하다는 것을 하더라도 필연적이다. 즉, 위의 서열은 나타나기 위한 후보 "fishiz"에서 관찰되는데 충분하다.